141. A sequential introduction to real analysis /
پدیدآورنده : J.M. Speight
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical analysis,Precalculus
142. A structuralist theory of logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
143. A structuralist theory of logic
پدیدآورنده : Koslow, Arnold
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Implication )Logic(,، Structuralism
رده :
BC
135
.
K64
144. A structuralist theory of logic
پدیدآورنده : Arnold Koslow
موضوع : Logic, symbolic and mathematical,Implication (logic),Structuralism
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
145. A summary of scientific method /
پدیدآورنده : Peter Kosso
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Science-- Methodology
146. A survey of symbolic logic
پدیدآورنده : Lewis, Clarence Irving
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
L4
1960
147. A survey of symbolic logic
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, Symbolic and mathematical
رده :
164
Le-S
148. A survey of symbolic logic
پدیدآورنده : By C. I. Lewis
موضوع : Logic, Symbolic and mathematical.
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
149. A theory of formal deducibility
پدیدآورنده : Curry, Haskell Brooks
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
N87
no
.
6
150. A theory of heuristic information in game-tree search
پدیدآورنده : Tzeng, Chun-Hung
کتابخانه: (طهران)
موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical
رده :
Q
335
.
T99
1988
151. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
no
.
18
152. A theory of sets
پدیدآورنده : / Anthony P. Morse
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
153. A theory of sets
پدیدآورنده : Morse, Anthony Perry
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Aggregates,، Logic, Symbolic and mathematical
رده :
QA
3
.
P8
v
.
18
154. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W7483
2005
155. A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
156. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
157. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
158. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: (طهران)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
159. Abstract set theory
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
160. Acting and Reflecting :
پدیدآورنده : edited by Wilfried Sieg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
